1. Automated deduction in geometr
Author: / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
Classification :
QA448
.
D38
,
I58
2011
2. Cybernetics and systems '86 :
Author: organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
Classification :
Q300
.
O743
1986
3. The computer modelling of mathematical reasoning /
Author: Alan Bundy, Department of Artificial Intelligence, Edinburgh.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving.,Logic, Symbolic and mathematical.,Mathematics-- Data processing.,Intelligence artificielle.,Anwendung,ARTIFICIAL INTELLIGENCE.,Automatic theorem proving.,Automatisches Beweisverfahren,Computersimulaties.,Inteligencia Artificial (Computacao),Künstliche Intelligenz,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,Mathematics-- Data processing.,Mathematik,Mathematik.,Mathématiques-- Informatique.,Redeneren.,THEOREM PROVING.,Théorèmes-- Démonstration automatique.,Wiskunde.
Classification :
QA76
.
95
.
B86
1983
4. The computer modelling of mathematical reasoning
Author: Bundy, Alan
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing ، Mathematics,، Logic, Symbolic and mathematical,، Automatic theorem proving
Classification :
QA
76
.
95
.
B86
5. The computer modelling of mathematical reasoning
Author: Bundy, Alan., Alan Bundy
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Mathematics- Data processing,، Logic, Symbolic and mathematical,، Automatic theorem proving
Classification :
QA
76
.
95
.
B86
6. The computer modelling of mathematical reasoning
Author: Bundy, Alan.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Mathematics - Data processing,، Logic, Symbolic and mathematical,، Automatic theorem proving
Classification :
QA
76
.
95
.
B86
1983
